PlDoc: Wiki style Literate Programming for Prolog
نویسندگان
چکیده
This document introduces PlDoc, a literate programming system for Prolog. Starting point for PlDoc was minimal distraction from the programming task and maximal immediate reward, attempting to seduce the programmer to use the system. Minimal distraction is achieved using structured comments that are as closely as possible related to common Prolog documentation practices. Immediate reward is provided by a web interface powered from the Prolog development environment that integrates searching and browsing application and system documentation. When accessed from localhost, it is possible to go from documentation shown in a browser to the source code displayed in the user’s editor of choice.
منابع مشابه
PIDoc: Wiki style Literate Programming for Prolog
This document introduces PlDoc, a literate programming system for Prolog. Starting point for PlDoc was minimal distraction from the programming task and maximal immediate reward, attempting to seduce the programmer to use the system. Minimal distraction is achieved using structured comments that are as closely as possible related to common Prolog documentation practices. Immediate reward is pro...
متن کاملSWI-Prolog
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledgeintensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial invo...
متن کاملCombining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
An operational semantics for a significant subset of the Verilog Hardware Description Language (HDL) has been developed. An unusual aspect of the semantics is that it was formulated as a Prolog logic program. This allows the possibility of simulating the semantics. In addition, a literate programming style has been used, so the semantics can be processed by the LTEX document preparation system ...
متن کاملAn Animatable Operational Semantics of the Verilog Hardware Description Language
An operational semantics of a significant subset of the Verilog Hardware Description Language (HDL) is presented. The semantics is encoded using the logic programming language Prolog in a literate programming style. This allows the associated documentation to be maintained in step with the semantics, and the printed version to be presented in a standard mathematical operational semantics style....
متن کاملLogic Programming Systems The SWI-Prolog environment
Development of the SWI-Prolog environment has started in 1985. Its developments was started in the context of interactive application development. More recently the development is guided by Semantic Web application development and contributions from the world wide community. In this article we will briefly introduce the SWI-Prolog community, touch the many features and outline our future plans....
متن کامل